2941. Symbolic C++ : an introduction to computer algebra using object-oriented programming
پدیدآورنده : Tan, Kiat Shi, 2791-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Object-oriented programming )Computer science(,، C++ )Computer program language(,Data processing ، Algebra
رده :
QA
76
.
64
.
T24
2000
2942. Symbolic computation : applications to scientific computing
پدیدآورنده : edited by Robert Grossman
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
2943. SymbolicC++: an introduction to computer algebra using object _ Oriented Programming
پدیدآورنده : / Tan kiat shi, Willi_Hans Steeb
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Object _ oriented Programming (Computer Science).,C++ (computer program Language),Algebra _ Data Processing.
رده :
QA76
,.
64
.
T
35
2944. Symposium on real-time and hybrid systems :
پدیدآورنده : Cliff Jones, Ji Wang, Naijun Zhan (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science),Software engineering.,Artificial Intelligence.,Programming Languages, Compilers, Interpreters.,Software Engineering.,System Performance and Evaluation.,Theory of Computation.,Artificial intelligence.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
758
2945. Synthesis of computational structures for analog signal processing
پدیدآورنده : / Cosmin Radu Popa
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Signal processing--Mathematics,Data structures (Computer science),Computer programming
رده :
TK5102
.
9
.
P65
2011
2946. Synthesis of computational structures for analog signal processing
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Signal processing ; Mathematics. ; Data structures (Computer science) ; Computer programming. ;
2947. Synthesis of computational structures for analog signal processing
پدیدآورنده : / Cosmin Radu Popa
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Signal processing--Mathematics,Data structures (Computer science),Computer programming.
رده :
TK
,
5102
.
9
,.
P65
,
2011
2948. Synthesis of computational structures for analog signal processing
پدیدآورنده : Popa, Cosmin Radu., Cosmin Radu Popa
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Signal processing, Mathematics,، Data structures )Computer science(,، Computer programming
رده :
TK
5102
.
9
.
P65
2011
2949. System design from porvably correct constructs: the beginning of true software engineering
پدیدآورنده : Martin, James
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، System design,Programming ، Electronic digital computers,، Debugging in computer science
رده :
QA
76
.
9
.
S88
M37
1985
2950. System design from provably correct constructs:the beginnings of
پدیدآورنده : MARTIN,JAMES
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : SYSTEM DESIGN , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , DEBUGGING IN COMPUTER SCIENCE
رده :
QA
76
.
9
.
S88
M37
2951. System programming with C and Unix /
پدیدآورنده : Adam Hoover.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Systems programming (Computer science)
رده :
QA76
.
66
.
H66
2010
2952. System software : an introduction to systems programming
پدیدآورنده : Beck, Leland L.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Systems programming )Computer science(
رده :
QA
76
.
66
.
B43
1997
2953. System software:an introduction to systems programming
پدیدآورنده : BECK,LELAND L
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : SYSTEMS PROGRAMMING )COMPUTER SCIENCE(
رده :
QA
76
.
66
.
B43
1990
2954. System software: : an introduction to systems programming
پدیدآورنده : Beck, Leland L
کتابخانه: Library of Niroo Research Institue (Tehran)
موضوع : ، Systems programming )Computer science(
2955. SystemVerilog for verification
پدیدآورنده : / Chris Spear, Greg Tumbush
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer hardware description languages.,Integrated circuits--Verification,Object-oriented programming (Computer science)
رده :
TK7885
.
7
.
S64
2012
2956. SystemVerilog for verification :
پدیدآورنده : Chris Spear, Greg Tumbush.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer hardware description languages.,Integrated circuits-- Verification.,Object-oriented programming (Computer science)
رده :
TK7885
.
7
.
S64
2012eb
2957. Systems Analysis and Design
پدیدآورنده : / Kenneth E. Kendall, Julie E. Kendall
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : System design,System analysis,Systems programming (Computer science),طراحی سیستم,تجزیه و تحلیل سیستم ها
رده :
QA76
,.
9
.
S88
,
K45
2009
2958. Systems Programmer's Problem Solver
پدیدآورنده : William S. Mosteller
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Systems Programming (computer science)
رده :
QA
،
76
.
66
،.
M67
،
1989
2959. Systems Programming In Parallel Logic Languages
پدیدآورنده : Ian Foster
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Systems Programming (computer science),Parallel Processing (electronic computers)
رده :
QA
،
76
.
66
،.
F67
،
1990
2960. Systems Programming with Modula - 3
پدیدآورنده : / by Greg Nelson
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Systems programming (Computer science),Modula - 3 (Conputer program language)
رده :
QA
76
.
66
.
S87
1991
